1.
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Particles )Naclear physics(- Congresses,، Phenomonological theory )physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
رده :
QC
793
H5
1994
2. #<A> course in model theory
پدیدآورنده : #Bruno Poizat , translated by Moses Klein
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Model theory
رده :
#
QA
،#.
P65
3. A course in model theory /
پدیدآورنده : Katrin Tent, Martin Ziegler
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Model theory,Model theory, Problems, exercises, etc
4. A course in model theory : an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P63
5. A course in model theory: an introduction to contemporary mathematical logic
پدیدآورنده : Poizat, Bruno
موضوع : ، Model theory
۳ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. A disequilibrium model of demand for factors of production
پدیدآورنده : ]by[ M. Ishaq Nadiri and Sherwin Rosen
کتابخانه: Library of Faculty of Social Sciences of Tehran University (Tehran)
موضوع : United States- Economic conditions- Mathematical model,United States- Economic conditions- 194,Manufacturing industries- United States,Production functions )Economic theory(,Factors of production
رده :
HC
106
.
5
.
N218
1974
7. A guide to classical and modern model theory
پدیدآورنده : / Annalisa Marcja, Carlo Toffalori
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Model theory
رده :
QA9
.
7
.
M364
2003
8. A guide to classical and modern model theory
پدیدآورنده : / by Annalisa Marcja, Carlo Toffalori
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : Model theory
رده :
QA
۹
/
۷
/
م
۲
گ
۲ ۱۳۸۲
9. A guide to classical and modern model theory
پدیدآورنده : / Annalisa Marcja, Carlo Toffalori
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Model theory
رده :
QA9
.
7
.
M364
2003
10. A shorter model theory
پدیدآورنده : Hodges, Wilfrid, 1491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory
رده :
QA
9
.
7
.
H62
11. Accessible categories: the foundations of categorical model theory
پدیدآورنده : Makkai, Michael
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M35
1989
12. Accessible categories : the foundations of categorical model theory
پدیدآورنده : Makkai, Mihaly, 9391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M25
13. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
14. Algebraic systems
پدیدآورنده : )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
15. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
16. Algebraic systems
پدیدآورنده : Maltsev, Anatolii Ivanovich
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
17. Algebraic systems
پدیدآورنده : Mal'tsev, Anatolii Ivanovich, 9091-7691
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
18. An integrated model of the influence of personal psychological traits and cognitive beliefs on customer satisfaction and continuance intentions in relation to Internet banking usage within the Saudi Arabian context
پدیدآورنده : Alghamdi, Ahmed Dirwish G.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : information systems, expectation confirmation theory, culture, expectation confirmation model of information systems continuance, the unified theory of acceptance and use of technology, technology readiness, technology acceptance models, technology acceptance model, theory of planned behaviour, self-service technologies, business-to-customer Internet banking, the kingdom of Saudi Arabia.
19. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
20. An introduction to independence for analysts
پدیدآورنده : Dales, H. G.)Harold G.(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Forcing )Model theory(,، Independence )Mathematics(,، Axiomatic set theory
رده :
QA
9
.
7
.
D35
1987
